1. Advanced information systems engineering :
المؤلف: Paolo Giorgini, Barbara Weber (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer-aided software engineering, Congresses.,Systems engineering, Congresses.,Computer-aided software engineering.,Systems engineering.
رده :
QA76
.
758
.
C33
2019
2. Advances in database technology--EDBT '92 :
المؤلف: A. Pirotte, C. Delobel, G. Gottlob, eds.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Bases de données -- Gestion -- Congrès.,Database management -- Congresses.,Database management.
3. Advances in databases and information systems
المؤلف: / Janis Grundspenkis ... [et al.] (eds.
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Database management, Congresses,Information technology, Congresses
رده :
QA76
.
9
.
D3A33
2010
4. Algebra and Coalgebra in Computer Science :
المؤلف: José Luis Fiadeiro
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Algebra -- Congresses.,Algebra.,Computer science -- Mathematics -- Congresses.
5. Algebraic and logic programming :
المؤلف: J. Grabowski, P. Lescanne, W. Wechler (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Algebraic logic -- Congresses.,Algebraic logic.,Logic programming -- Congresses.
رده :
QA76
.
6
J473
1989
6. Algebraic and logic programming : 6th International Joint Conference, ALP'97-HOA'97, Southampton, UK, September 3-5, 1997 : proceedings
المؤلف: Michael Hanus, Jan Heering, Karl Meinke, )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Logic programming,Congresses ، Algebraic logic,Congresses ، Rewriting systems )Computer science(
رده :
QA
76
.
L28
Vol
.
1298
7. Algorithms and computation :
المؤلف: T. Ibaraki [and others] (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Algorithmes -- Congrès.,Computer algorithms -- Congresses.,Numerical calculations -- Data processing -- Congresses.
8. Analytical and stochastic modeling techniques and application
المؤلف: / Khalid Al-Begain, Dieter Fiems, William J. Knottenbelt (eds.
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Computer networks, Mathematical models, Congresses,Stochastic processes, Congresses,Stochastic models, Congresses,Electronic books., local
رده :
TK5105
.
5
.
I58
2010
9. Applications of graph transformations with industrial relevance : international workshop, AGTIVE'99, Kerkrade, The Netherlands, September 1-3, 1999 : proceedings
المؤلف: Manfred Nagl, Andreas Schurr, Manfred Munch )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Computer science,Congresses ، Rewriting systems )Computer science(
رده :
QA
76
.
L28
Vol
.
1779
10. Applications of graph transformations with industrial relevance : second international workshop, AGTIVE 2003, Charlottesville, VA, USA, September 27 - October 1, 2003 : revised selected and invited papers
المؤلف: John L. Pfaltz, Manfred Nagl, Boris Bohlen )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Computer science,Congresses ، Rewriting systems )Computer science(
رده :
QA
76
.
L28
Vol
.
3062
11. Automata, languages and programming :
المؤلف: J. Leach Albert, B. Monien, M. Rodríguez Artalejo (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Machine theory -- Congresses.,Machine theory.
رده :
QA267
.
J543
1991
12. Cafe
المؤلف: / edited by K. Futatsugi, A.T. Nakagawa, T. Tamai
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Algebraic logic , Congresses,Formal methods (Computer science) , Congresses,Electronic books. , local
رده :
E-BOOK
13. Category theory and computer science :
المؤلف: Eugenio Moggi, Giuseppe Rosolini (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Categories (Mathematics), Congresses.,Computer science-- Mathematics, Congresses.,Categorieën (wiskunde),Categories (Mathematics),Catégories (mathématiques)-- Congrès.,Computer science-- Mathematics.,Computers.,Informatik,Informatique-- Mathématiques-- Congrès.,Kategorientheorie,Kongress,Theoretische Informatik
رده :
QA76
.
9
.
M35
C38
1997
14. [Computer aided systems theory] [revised selected papers]
المؤلف: [EUROCAST 2003, 9th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 2003. Ed.: Roberto Moreno-Díaz ...].
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer Science,Computer-aided design -- Congresses.,Computer-aided engineering -- Congresses.
15. Computer science logic :
المؤلف: Hans Kleine Büning (ed.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science -- Congresses.,Computer science.,Logic, Symbolic and mathematical -- Congresses.
رده :
QA75
.
5
H367
1996
16. Conditional and typed rewriting systems : 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990: proceedings
المؤلف: S. Kaplan, M. Okada )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Rewriting systems )Computer science(
رده :
QA
76
.
L28
Vol
.
516
17. Conditional and typed rewriting systems : 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990 : proceedings
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Rewriting systems )Computer science(-- Congresses
رده :
QA
267
.
C5932
1991
18. Conditional and typed rewriting systems : 4th International Workshop, CTRS-94 Jerusalem, Israel, July 13-15, 1994 : proceedings
المؤلف: Nachum Dershowitz, Naomi Lindenstrauss )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Algorithms
رده :
QA
76
.
L28
Vol
.
968
19. Conditional term rewriting systems
المؤلف: / S. Kaplan, J.-P. Jouannaud, eds
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع: Rewriting systems (Computer science)- Congresses
رده :
QA267
.
C5933
1988
20. Conditional term rewriting systems : Third International Workshop, CTRS-92, Pont-a-Mousson, France, July 8-10, 1992 : proceedings
المؤلف: M. Rusinowitch, J.L. Remy )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Rewriting systems )Computer science(
رده :
QA
76
.
L28
Vol
.
656
